1. Digital networks
پدیدآورنده: / Janusz A. Brzozowski, Michael Yoeli
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Digital electronics
رده :
621
.
38153
Br-D
2. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده: Yoeli, Michael
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Verification ، Integrated circuits,Verification ، Computer software,، LOTOS )Computer program language(,، Petri nets
رده :
TK
7874
.
58
.
Y64
2008
3. Verification of systems and circuits using LOTOS, Petri Nets, and CCS
پدیدآورنده: / by Michael Yoeli and Rakefet Kol
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets
رده :
TK7874
.
58
.
Y64
2008
